/*
 * Square.h
 *
 *  Created on: Apr 29, 2012
 *      Author: kobe
 */

#ifndef SQUARE_H_
#define SQUARE_H_

#include "Proposition.h"
#include "Agent.h"
#include "Util.h"

class Square: public Proposition {
public:
	Square(std::string);
	virtual ~Square();
	std::string toString();
	std::string toLatex();
    Agent *getAgent() const;
    Proposition *getProposition() const;
    bool compare(Proposition* );
    bool isAction();
private:
	Agent* mAgent;
	Proposition* mProposition;
	bool mIsAction;
};

#endif /* SQUARE_H_ */
